propositional coding theory

命题编码说 命题编码说